Prof. Dr. Herbert Klaeren

Algebraische Softwarespezifikation (V3+Ü2)

Termin

variabel

Turnus

unregelmäßig

Prüfungsfach

Praktische Informatik

Inhalt

Grundlagen aus der Universellen Algebra, Möglichkeiten und Grenzen der Algebraischen Software-Spezifikation, Einsatz der algebraischen Technik im Rahmen des Software Engineering, Ansätze zur automatischen Implementierung.

Voraussetzungen

Grundstudium Informatik, Vorlesung Softwaretechnik

Literatur

Prof. Herbert Klaeren
Last modified: Sun Jan 12 13:17:24 MEZ